منابع مشابه
Map Theory
Map theory is a foundation of mathematics based on A-calculus instead of logic and sets, and thereby fulfills Church’s original aim of introducing A-calculus. Map theory can do anything set theory can do. In particular, all of classical mathematics is contained in may theory. In addition, and contrary to set theory, map theory has unlimited abstraction and contains a computer programming langua...
متن کاملMap Spatial Cognition Theory
A map is not only a result of human spatial environment cognition, but also a tool of human spatial cognition. For many centuries, as a kind of graphic communication tool of spatial information, a map has been playing an important role in human spatial cognition. Spatial cognition is the process of spatial information processing. Spatial cognition is an important research area of cognitive scie...
متن کاملA Boolean map theory of visual attention.
UNLABELLED A theory is presented that attempts to answer two questions. What visual contents can an observer consciously access at one moment? ANSWER only one feature value (e.g., green) per dimension, but those feature values can be associated (as a group) with multiple spatially precise locations (comprising a single labeled Boolean map). How can an observer voluntarily select what to acces...
متن کاملCognitive Map Model in Argumentation Theory
A cognitive map is a graphical representation of mental beliefs of an underlined entity by an expert following a set of discursive representations from his own cognitive representation on a particular subject to help him to think about the presented reality. In This paper, first we briefly present the argumentation theory and the cognitive map model with its applications for decision problems. ...
متن کاملMap Theory: From Well-Foundation to Antifoundation
Map Theory is a powerful extension of type-free lamba-calculus (with only a few term constants added). Due to Klaus Grue, it was designed to be a common foundation for Computer Sciences and for Mathematics. All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, are interpreted as terms. All the usual s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90296-r